Project-Team:MARELLE

Project-Team Marelle

Members

Overall Objectives

Research Program

Type theory and formalization of mathematics
Verification of scientific algorithms
Programming language semantics

Application Domains

Reliability of embedded software
Security and Cryptography
Mathematics and Education

Software and Platforms

Tralics
Semantics
Easycrypt
CoqEAL
CoqApprox
CoqHensel

New Results

Bourbaki, Sets and Ordinals
Homotopy Type Theory
Isolation of polynomial roots
Properties of the π number
Formal study of cryptography
Approximation of Mathematical functions
Formal verification in Geometry
SMT automation for Ssreflect

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Inria | Raweb 2013 | Presentation of the Project-Team MARELLE | MARELLE Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Dissemination

Popularization

Yves Bertot participated to two articles published in popular science magazines (Science et Vie and Science et Avenir) and Laurence Rideau to one of these articles.

Previous |

Home | Next next